341. Automata, languages, and programming
Author:
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Machine theory - Congresses,Formal languages - Congresses,Programming (Electronic computers) - Congresses
Classification :
QA267
.
A923
342. Automata, languages, and programming
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
52
,
etc
...
343. Automata, languages and programming
Author: Luca Aceto, Monika Henzinger, Jiří Sgall (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Machine theory, Congresses,Programming languages (Electronic computers), Congresses
Classification :
QA267
.
I58
2011
344. Automata, languages and programming :
Author: edited by G. Ausiello and C. Böhm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
345. Automata, languages and programming
Author: / edited by Arto Salomaa and Magnus Steinby
Library: Library of College of Science University of Tehran (Tehran)
Subject: Sequential machine theory -- Congresses,Formal languages -- Congresses,Programming languages (Electronic computers) -- Congresses
Classification :
QA
267
.
5
.
S4
C63
1977
346. Automata, languages, and programming
Author: / Zoltan Fulop, Ferenc Gecseg (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
Classification :
QA267
.
A923
1995
347. Automata, languages, and programming :
Author: edited by Jan Paredaens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
348. Automata, languages, and programming
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
Classification :
QA
267
.
A923
349. Automata, languages, and programming
Author: Artur Czumaj ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses,Machine theory, Congresses,Programming languages (Electronic computers), Congresses
Classification :
QA267
.
I23
2012eb
350. Automata, languages and programming
Author: / M. S. Paterson(ed)
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Machine theory-- congresses,Formal languages-- Congresses,Programming (Electronic computers) -- Congresses
Classification :
QA
267
.
A9228
1990
351. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(
Classification :
QA
267
.
5
.
S4
.
I47
1980
352. Automata, languages, and programming : 24th International Colloquium, ICALP 97 Bologna, Italy, July 7-11, 1997 : proceedings
Author: Pierpaolo Degano, Roberto Gorrier, Alberto Marchetti-Spaccamela )eds.(
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Machine theory - Congresses , Formal languages - Congresses , Programming )Electronic computers( - Congresses
Classification :
QA
267
.
I57
1997
353. Automata, languages and programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991 proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory--Congresses,، Formal languages--Congresses,، Programming )Electronic Computers(--Congresses
Classification :
QA
267
.
A9228
1991
354. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
Author: edited by Laurent kott
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
226
355. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(
Classification :
QA
267
.
I55
1985
356. Automated reasoning: 33 Base research problems
Author: Larry Wos
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
Classification :
QA
،
76
.
9
،.
A96
,
W67
،
1988
357. Automated reasoning: introduction and applications
Author: )by( Larry Wos )et al.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
Classification :
QA
76
.
9
.
A96
A93
1984
358. Automatic correction and improvment of programs
Author: H. Wertz
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Artificial intelligence- Data processing,Programming (Electronic computers)
Classification :
Q
،
336
،.
W47
،
1987
359. Automatic programming, numerical methods and functional analysis
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Programming (Electronic computers)- Addresses, essays, lectures ► Functional analysis- Addresses, essays, lectures
Classification :
517
A939
360. Automating with STEP 7 in STL and SCL
Author: by Hans Berger
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject: Programmable controllers,Programming languages (Electronic computers),STEP 7 (Computer program language),SIMATIC S7 (Computer system)
Classification :
TJ
,
223
,.
P76
,
B473
,
2007
